Nuprl Definition : EState
11,40
postcript
pdf
EState(
T
) ==
x
:Id
rationals
T
(
x
)
latex
Definitions
Id
,
x
:
A
B
(
x
)
,
rationals
,
f
(
a
)
FDL editor aliases
EState
origin
rationalsT(x) rationalsT(x) B(x)